Double-precision floating-point format - PDFSEARCH.IO - Document Search Engine

Double-precision floating-point format
Results: 81

#	Item
21	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
22	Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-02-18 11:28:41 Computer arithmetic Mathematics Theoretical computer science Computing Rounding IEEE floating point Double-precision floating-point format Normal number Arithmetic underflow Division algorithm Q Denormal number
23	Accurate Evaluation of Arithmetic Expressions Matthieu Martel DALI - Universite´ de Perpignan Via Domitia LIRMM - CNRS: UMRUniversite´ Montpellier 2, France Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Computer arithmetic Floating point Abstract interpretation Rounding IEEE floating point Double-precision floating-point format Precision NaN Expression
24	Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University Add to Reading List Source URL: www.daemonology.net Language: English - Date: 2006-08-06 05:27:53 Computer arithmetic Mathematics Computing Theoretical computer science Unit in the last place Rounding IEEE floating point NaN Double-precision floating-point format Q Denormal number Exponentiation
25	Rationale for TRExtension to the programming language C Decimal Floating-Point Arithmetic Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-07-06 11:30:45 Computer arithmetic IEEE floating point Floating point C99 Double-precision floating-point format NaN ANSI C Half-precision floating-point format C Decimal floating point Long double Decimal
26	AA Technical NoteThe Error in the Double Precision Representation of Julian Dates Approved for Public Release Add to Reading List Source URL: aa.usno.navy.mil Language: English - Date: 2015-05-26 09:50:59 Data types Numbers Binary arithmetic IEEE standards Floating point Double-precision floating-point format Fortran Precision Extended precision Computer arithmetic Computing Arithmetic
27	FOR PUBLICATION 1 Extended-Precision Floating-Point Numbers for GPU Computation Add to Reading List Source URL: andrewthall.org Language: English - Date: 2009-07-08 17:59:34 Mathematics Floating point GPGPU Machine epsilon FLOPS Arbitrary-precision arithmetic Double-precision floating-point format CUDA IEEE 754-1985 Computer arithmetic Computing Computer architecture
28	International Journal of Parallel, Emergent and Distributed Systems Vol. 22, No. 4, January 2007, 221–256 Performance and accuracy of hardware-oriented native-, emulated- and mixed-precision solvers in FEM simulations Add to Reading List Source URL: www.mathematik.uni-dortmund.de Language: English - Date: 2010-04-19 14:13:23 Numbers Computing Mathematics Floating point Arbitrary-precision arithmetic Quadruple-precision floating-point format Double-precision floating-point format Extended precision FLOPS Computer arithmetic Data types Binary arithmetic
29	International Journal of Parallel, Emergent and Distributed Systems Vol. 22, No. 4, January 2007, 221–256 Performance and accuracy of hardware-oriented native-, emulated- and mixed-precision solvers in FEM simulations Add to Reading List Source URL: www.mathematik.tu-dortmund.de Language: English - Date: 2010-04-19 14:13:23 Numbers Computing Mathematics Floating point Arbitrary-precision arithmetic Quadruple-precision floating-point format Double-precision floating-point format Extended precision FLOPS Computer arithmetic Data types Binary arithmetic
30	Habilitation à Diriger des Recherches presentée à l’Université Paris-Sud Spécialité: Informatique par Sylvie Boldo Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-02 03:44:54 Mathematics Floating point IEEE 754-2008 Rounding Precision Single-precision floating-point format Double-precision floating-point format Arithmetic precision Unit in the last place Computer arithmetic Numbers Computing

UPDATE